1

Amenable groups and smooth topology of 4-manifolds

Year:
2016
Language:
english
File:
PDF, 419 KB
english, 2016
3

Analysis of Recursively Parallel Programs

Year:
2013
Language:
english
File:
PDF, 382 KB
english, 2013
14

Analysis of recursively parallel programs

Year:
2012
Language:
english
File:
PDF, 748 KB
english, 2012
21

Tractable Refinement Checking for Concurrent Objects

Year:
2015
Language:
english
File:
PDF, 986 KB
english, 2015
31

Parameterized verification of transactional memories

Year:
2010
Language:
english
File:
PDF, 539 KB
english, 2010
32

On reducing linearizability to state reachability

Year:
2018
Language:
english
File:
PDF, 517 KB
english, 2018